Generality Explained

What explains the truth of a universal generalization? Two types explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances generalization, ‘generic is independent instances, relying instead on completely general facts about properties operations involved in generalization. This intuitive distinction analyzed by means truthmaker semantics, which also sheds light correct logic quantification. On most natural version this analysis vindicates claims made—without proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical shown to warranted. By contrast, intuitionistic (or slightly more) remains warranted regardless what available.